/**
 * This package provides a Killdall-style dataflow layer for a system of equations induced over a
 * graph.
 */
package com.ibm.wala.dataflow.graph;
